Pac Fields over Finitely
نویسندگان
چکیده
We prove the following theorem for a finitely generated field K: Let M be a Galois extension of K which is not separably closed. Then M is not PAC over K.
منابع مشابه
First-order Characterization of Function Field Invariants over Large Fields
This condition is equivalent to the condition that k be existentially closed in the Laurent series field k((t)) [Pop96, Proposition 1.1]. It is in some sense opposite to the “Mordellic” properties satisfied by number fields, over which curves of genus greater than 1 have finitely many rational points [Fal83]. If p is any prime number, then any p-field (field for which all finite extensions are ...
متن کاملOn Pseudo Algebraically Closed Extensions of Fields
The notion of ‘Pseudo Algebraically Closed (PAC) extensions’ is a generalization of the classical notion of PAC fields. In this work we develop a basic machinery to study PAC extensions. This machinery is based on a generalization of embedding problems to field extensions. The main goal is to prove that the Galois closure of any proper separable algebraic PAC extension is its separable closure....
متن کاملPseudo Algebraically Closed Fields over Rings
We prove that for almost all σ ∈ G(Q)e the field Q̃(σ) has the following property: For each absolutely irreducible affine variety V of dimension r and each dominating separable rational map φ: V → Ar there exists a point a ∈ V (Q̃(σ)) such that φ(a) ∈ Zr. We then say that Q̃(σ) is PAC over Z. This is a stronger property then being PAC. Indeed we show that beside the fields Q̃(σ) other fields which ...
متن کاملArithmetic Height Functions over Finitely Generated Fields
In this paper, we propose a new height function for a variety defined over a finitely generated field overQ. For this height function, we will prove Northcott’s theorem and Bogomolov’s conjecture, so that we can recover the original Raynaud’s theorem (Manin-Mumford’s conjecture). CONTENTS Introduction 1 1. Arakelov intersection theory 3 2. Arithmetically positive hermitian line bundles 6 3. Ari...
متن کاملDecidability and Undecidability Theorems for Pac-fields
A pseudo-algebraically closed field (PAC-field for short) is a field K such that every absolutely irreducible variety defined over K has ̂ -rational points. In [Ax] Ax gave a decision method for the (elementary) theory of finite fields, the basis of which was his characterization of the infinite models of that theory as the perfect PAC-fields K with G(K) = Z. (Here and in the following we use th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006